<?php

// echo "hello world!";

// var_dump("xuebingsi");

// var_dump($_SERVER);